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展开更多
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
文摘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.
