The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strate...The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strategic decision making lead to the achievemellt of optimal path towardsmarket economy from the central planning situation in China. To meet user's various requirements,a series of innovations in software development have been carried out, such as system formalization with OBFRAMEs in an object-oriented paradigm for problem solving automation and techniques of modules intelligent cooperation, hybrid system of reasoning, connectionist framework utilization,etc. Integration technology has been highly emphasized and discussed in this article and an outlook to future software engineering is given in the conclusion section.展开更多
A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical ...A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.展开更多
目的探究稳定期精神分裂症患者的注意力特点。方法纳入55例稳定期精神分裂症患者和55名健康对照。采用注意网络测试范式(attention network test paradigm,ANT)对被试的注意力进行测评,观察指标包括4种提示线索和3种刺激类型下的反应时...目的探究稳定期精神分裂症患者的注意力特点。方法纳入55例稳定期精神分裂症患者和55名健康对照。采用注意网络测试范式(attention network test paradigm,ANT)对被试的注意力进行测评,观察指标包括4种提示线索和3种刺激类型下的反应时,以及换算后的3种注意网络(警觉网络、定向网络和执行控制网络)反应时。结果在不同提示线索和刺激类型下,患者组的反应时均高于对照组(P<0.001)。患者组的警觉网络反应时[25.43(11.71,42.53)ms vs.39.32(27.46,51.98)ms,P=0.020]和执行控制网络反应时[96.17(36.32,160.13)ms vs.44.43(18.52,89.73)ms,P<0.001]低于对照组,定向网络反应时在两组之间的差异无统计学意义(P=0.136)。结论稳定期精神分裂症患者的警觉网络和执行控制网络存在明显损伤,而定向网络未见明显损伤。展开更多
文摘The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strategic decision making lead to the achievemellt of optimal path towardsmarket economy from the central planning situation in China. To meet user's various requirements,a series of innovations in software development have been carried out, such as system formalization with OBFRAMEs in an object-oriented paradigm for problem solving automation and techniques of modules intelligent cooperation, hybrid system of reasoning, connectionist framework utilization,etc. Integration technology has been highly emphasized and discussed in this article and an outlook to future software engineering is given in the conclusion section.
基金Project(05JT1035) supported by the Science and Technology Plan of Hunan Province
文摘A new model of event and message driven Petri network(EMDPN) based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths (copaths) was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion(OSC). The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.
