Cecilia Esti Nugraheni

Universitas Katolik Parahyangan | UNPAR · Dept. of Informatics (Computer Science)

Clothing is one of the basic or primary needs. With the influence of clothing fashion that continues to grow, many Small and Medium Enterprises (SMEs) have sprung up engaged in the clothing sector. SMEs are one of the driving forces of the Indonesian economy. SMEs engaged in the clothing sector are businesses that produce apparel. The materials use...

Flow Shop Scheduling (FSS) is scheduled to involve n jobs and m machines in the same process sequence, where each machine processes precisely one job in a certain period. In FSS, when a machine is doing work, other machines cannot do the same job simultaneously. The solution to this problem is the job sequence with minimal total processing time. Ma...

Entrepreneurship plays an essential role in the economic growth of a country. These roles include creating jobs, reducing unemployment, increasing people's income, combining production factors (nature, labor, capital, and expertise), and increasing national productivity. For the economy to thrive and healthy, it requires at least 4% of the populati...

Kualitas air sangat penting, termasuk ketika Water Purifier dimanfaatkan dan sudah dengan mudah ditemukan di beberapa tempat, termasuk di lingkungan kampus UNPAR. Namun pemanfaataan water purifier menuntuk pemantauan terutama soal kualitas airnya yang kontinu. Bukan hanya Water Purifier, tetapi juga sistem air yang lain seperti sungai, kolam, torre...

The apparel industry is a class of textile industry. Generally, the production scheduling problem in the apparel industry belongs to Flow Shop Scheduling Problems (FSSP). There are many algorithms/techniques/heuristics for solving FSSP. Two of them are the Palmer Algorithm and the Gupta Algorithm. Hyper-heuristic is a class of heuristics that enabl...

Job Shop Scheduling is a problem to schedule n number of jobs in m number of machines with a different order of processing. Each machine processes exactly one job at a time. Each job will be processed in every machine once. When a machine is processing one particular job then the other machine can’t process the same job. Different schedule’s order...

The paper presents an approach for doing a simulation on the entrepreneurial growth using Entrepreneurial Cellular Automata (ECA). The case study considered is micro and small enterprises in some provinces of Sumatra Island, Indonesia. ECA uses a number (CIdx) as the indicator of whether an entrepreneur will continue the business or not. The CIdx i...

Entrepreneurship plays an important role in the economic growth of a country. Ideally, the number of entrepreneurs in a country is 2% of the total population. Therefore, it is important to maintain and monitor the entrepreneurial conditions. In addition to the direct observation of the real conditions, the monitoring process can be done by using mo...

One type of scheduling problems found in the area of textile industry is the Flow Shop Scheduling Problem (FSSP). The solution of this problem is the sequence of jobs that meet certain requirements. In practice, dispatching rules are often used to determine the order of jobs. This paper proposes a new approach in finding solutions for FSSP. The pro...

Textile industry, which is one of prominent industries in Indonesia, faces a problem caused by the condition of machine productions. This situation leads to a need of good machine scheduling system. Generally, production processes in textile industry belong to the flow shop scheduling problems. Many approaches/heuristics have been proposed for solv...

Scheduling is an important problem in textile industry. The scheduling problem in textile industry generally belongs to the flow shop scheduling problem (FSSP). There are many heuristics for solving this problem. Eight heuristics, namely FCFS, Gupta, Palmer, NEH, CDS, Dannenbring, Pour, and MOD are considered and compared. Experimental results show...

This paper investigates the potential use of hyper-heuristics and multi agent approach for solution of the real single machine production scheduling problem. A framework consisting of six agents is proposed. The agents are Problem Agent, Trainer Agent, Training Dataset Agent, Heuristic Pool Agent, Algorithm Agent, Advisor Agent, and Solver Agent. T...

A multi-agent system (MAS) is understood as a collection of intelligent agents that interact with each other and work together to achieve a goal. Since it consists of many agents, the communication, coordination, and scheduling among agents are important issues in MAS. This paper presents a study on the effect of agent scheduling on the performance...

An organization define rules in its business to achieve the organizational goals. Along with developments and changes facing the business environment, often an organization's business rules have to change. Those changing can infer the software system of the organization. This could lead to an inefficient and ineffective system changing, if the orga...

Intelligent Telepresence robot is a new trend for communication remotely today, and obstacles avoidance for robot is one of the important research areas. This research reports and presents obstacles avoidance method for intelligent telepresence robot, a custom-build robot system specifically designed for teleconference with multiple people. We prop...

A parameterized system consists of several similar processes whose number is determined by an input parameter. A challenging problem is to provide methods for the uniform verification of such systems, i.e. to show by a single proof that a system is correct for any value of the parameter. This paper presents a method for verifying parameterized syst...

This paper presents the verification of mutual-exclusion properties of parameterized reader-writer algorithm. A class of diagram called Predicate diagrams [1] is used for representing the abstractions of parameterized systems described by specifications written in TLA. The verification is done by integrating deductive verification and algorithmic t...

Summary Computers are frequently used in critical applications where predictable response times are essential for correctness. Such systems are called real-time systems and are a class of reactive systems. Many verification methods for verifying reactive systems were proposed, including diagram-based verification. One of diagrams used for reactive...

This paper presents a method for verifying universal properties of parameterized parallel systems using Parameterized Predicate Diagrams [10]. Parameterized Predicate Diagrams are diagrams which are used to represent the abstractions of such systems described by specifications written in temporal logic. This method presented here integrates deducti...

This paper presents PreDiaG (Predicate Diagrams Genera-tor), a tool prototype for the verification of reactive systems using pre-dicate diagrams, which are a class of diagrams that represent the abstrac-tions of reactive systems. PreDiaG supports the generation of predicate diagrams automatically based on the algorithm in [3]. Given three in-puts,...

This thesis proposes a diagram-based formalism for verifying temporal properties of reactive systems. Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and exibility of deduction with the automation provided by algorithmic methods. Our...