Background Liposuction-curettage is a long-standing and effective treatment for axillary bromhidrosis.However,residual malodor and skin necrosis typically occur following this treatment.Therefore,we improved this meth...Background Liposuction-curettage is a long-standing and effective treatment for axillary bromhidrosis.However,residual malodor and skin necrosis typically occur following this treatment.Therefore,we improved this method to ensure fewer complications and better outcomes.Here,we have presented our programmed 6-step approach of improved liposuction-curettage.Methods The programmed 6-step approach of improved liposuction-curettage was used to remove the axillary apocrine glands.We used pointed and obtuse cannulas designed for liposuction-curettage.Results Patients treated using the programmed 6-step approach of improved liposuctioncurettage did not experience any serious complications or residual malodor.Conclusion The programmed 6-step approach of improved liposuction-curettage was more effective than traditional surgery with respect to the treatment of axillary bromhidrosis.展开更多
In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal sys...In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe展开更多
Material requirement planning is a type of production planning problems that is used to plan about a final product,its sub-assemblies,and its raw parts simultaneously by considering time phased demands of the final pr...Material requirement planning is a type of production planning problems that is used to plan about a final product,its sub-assemblies,and its raw parts simultaneously by considering time phased demands of the final product.In this study a multi-product material requirement planning problem with limited manufacturing resources is considered.As an important novelty,a multi-mode demand strategy is considered in this problem where the total customers’satisfaction degrees of the selected demand modes is maximized.Furthermore,three types of capacities such as regular,over time,and outsourcing capacities are considered for such system as another novelty.The problem is formulated as a bi-objective model to maximize total profit and total satisfaction degree of the customers simultaneously.To respect the uncertain nature of the problem,it is formulated in a belief-degree based uncertain form.This is for the first time in the literature of material requirement planning that this type of uncertainty is considered.The uncertain problem is converted to a crisp form using some techniques such as expected value model and chance constrained model.Then,a new hybrid form of the fuzzy programming approach is developed to solve the bi-objective crisp formulations.A case study from the petroleum industries of Iran is used to perform the required computational experiments.The required experiments are done,and possible comparisons are made on the obtained results.Furthermore,some managerial insights are given in order to be used in the production system of the case study.According to the obtained results,the proposed hybrid fuzzy programming approach is superior to existing approaches in at least 38 percent of the experiments.展开更多
A paradigm of program development using type theories is given after analyzing some typical exam- ples.In order to carry this approach forward,a language ALT is designed.It is a linguistic description of a generalized...A paradigm of program development using type theories is given after analyzing some typical exam- ples.In order to carry this approach forward,a language ALT is designed.It is a linguistic description of a generalized higher order typed lambda calculus with Π,∑ types and Π,∑ kinds (supertypes). Four examples are given to show how ALT can be used to implement many concepts of software engi- neering and artificial intelligence.They are intuitionistic logic,Peano arithmetic,approximate reasoning and program transformations.ALT is described formally,using a structural operational approach.展开更多
This paper proposes an approach to synthesize functional programs of Backus' FP system from input/output instances.Based on a theory of orthogonal expansion of programs,the task of program synthesis is expressed i...This paper proposes an approach to synthesize functional programs of Backus' FP system from input/output instances.Based on a theory of orthogonal expansion of programs,the task of program synthesis is expressed in program equations,and fulfilled by solving them according to the knowledge about the equivalence between programs.Some general knowledge of solving program equations with a number of examples are given in the paper.展开更多
基金the National Natural Science Foundation of China(No.81671918)Zhejiang Provincial Medical and Healthy Science Foundation of China(No.2019ZD028 and 2019KY757).
文摘Background Liposuction-curettage is a long-standing and effective treatment for axillary bromhidrosis.However,residual malodor and skin necrosis typically occur following this treatment.Therefore,we improved this method to ensure fewer complications and better outcomes.Here,we have presented our programmed 6-step approach of improved liposuction-curettage.Methods The programmed 6-step approach of improved liposuction-curettage was used to remove the axillary apocrine glands.We used pointed and obtuse cannulas designed for liposuction-curettage.Results Patients treated using the programmed 6-step approach of improved liposuctioncurettage did not experience any serious complications or residual malodor.Conclusion The programmed 6-step approach of improved liposuction-curettage was more effective than traditional surgery with respect to the treatment of axillary bromhidrosis.
基金ESPRIT Basic Research ProCoS project 3104 and 7071
文摘In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe
文摘Material requirement planning is a type of production planning problems that is used to plan about a final product,its sub-assemblies,and its raw parts simultaneously by considering time phased demands of the final product.In this study a multi-product material requirement planning problem with limited manufacturing resources is considered.As an important novelty,a multi-mode demand strategy is considered in this problem where the total customers’satisfaction degrees of the selected demand modes is maximized.Furthermore,three types of capacities such as regular,over time,and outsourcing capacities are considered for such system as another novelty.The problem is formulated as a bi-objective model to maximize total profit and total satisfaction degree of the customers simultaneously.To respect the uncertain nature of the problem,it is formulated in a belief-degree based uncertain form.This is for the first time in the literature of material requirement planning that this type of uncertainty is considered.The uncertain problem is converted to a crisp form using some techniques such as expected value model and chance constrained model.Then,a new hybrid form of the fuzzy programming approach is developed to solve the bi-objective crisp formulations.A case study from the petroleum industries of Iran is used to perform the required computational experiments.The required experiments are done,and possible comparisons are made on the obtained results.Furthermore,some managerial insights are given in order to be used in the production system of the case study.According to the obtained results,the proposed hybrid fuzzy programming approach is superior to existing approaches in at least 38 percent of the experiments.
文摘A paradigm of program development using type theories is given after analyzing some typical exam- ples.In order to carry this approach forward,a language ALT is designed.It is a linguistic description of a generalized higher order typed lambda calculus with Π,∑ types and Π,∑ kinds (supertypes). Four examples are given to show how ALT can be used to implement many concepts of software engi- neering and artificial intelligence.They are intuitionistic logic,Peano arithmetic,approximate reasoning and program transformations.ALT is described formally,using a structural operational approach.
基金This research is supported by the National Science Foundation and the National Education Committee Foundation for Youths.
文摘This paper proposes an approach to synthesize functional programs of Backus' FP system from input/output instances.Based on a theory of orthogonal expansion of programs,the task of program synthesis is expressed in program equations,and fulfilled by solving them according to the knowledge about the equivalence between programs.Some general knowledge of solving program equations with a number of examples are given in the paper.
